We want to include config.php in our repos. Fixes #1