fix config.php.dist