Delete settings-dev.php