add 2.25.scm