Fix // compilation, thus fixing version.t.