Updated for INSTALL.py