Rename ex15 to ex15.py