Updates to INSTALL file