cleaned up config.php.dist