We don't want the "dev.settings.php" file included as default, but rather a conscious choice of a developer