Rename 1-008.scm to 008.scm