Touch up environment variable handling in INSTALL.py