Improve the INSTALL file