fix forgotten bug359 in the INSTALL files list