Tried re-downloading and re-uploading, but the error persists. Have contacted our host provider to enquire about the php on the server. Could it be any other thing, since the error message points directly to install.php?
Thanks. That did it. Can I now re-introduce the keys into wp-config.php without causing trouble?