re-create server version of config.php