add 2.5.scm