Fix outdated and wrong entries in the INSTALL file