Rename ex1_4.txt to ex1_04.txt