We want the master branch's version of version.rkt.