add 1.25.scm