Moved the default values of $config to $default. The code for setting up $default is moved to lib/default.php.