Rename 1-3.scm to 1-003.scm