Make Python scripts Python3-compatible
Use the correct extension.