Like with sdkman you can specifically set the SDKMAN_HOME to then run a similar sdkman install into that dir. Is there something similar for pulumi?