Rename ex1_7.scm to ex1_07.scm