add renaming of config.php.dist