move config_local.php out of the way of the user's configuration