Rename ex12 to ex12.py