Rename python file to have extension, delete binary file.