Bunch of version bump. TeXmacs failed to compile.