improve the INSTALL file