Tweaked the INSTALL file