Fix generation of INSTALL file by removing link