Removes index_dev.php