Ups, we should leave the version file on 1.2, so the diff will get built properly when I release 1.3.