tweaks to INSTALL