Remove outdated system file and BUILD-script. Update INSTALL accordingly.