Rename main Python source file.