GerardWassink updated INSTALL file