rename ex12py to ex12.py