Improved INSTALL file