rename python program for the extension