Update INSTALL.py