redesigned INSTALL.py