Rename 1-007.scm to 007.scm