Updated the INSTALL file