Remove config.php, use config.php.dist instead