More tweaks to INSTALL