fix link to INSTALL file