Renaming the main source file