Few improvements to the INSTALL file