Fix INSTALL.py so that root environment variables are actually added when they should be