we're going to forget to update this.  we should either have a shell script generate version.ml, or just remove the version (i prefer the latter for now i think)