Rename scott-2-5 to scott-2.5.scm