Rename ex9 to ex9.py