Rename ex1-2.py to ex01-2.py