updates to INSTALL file