Renaming the main php file