add 2.12.scm