Update config.inc.php.dist