more changes to INSTALL