Make provision of settings.php idempotent