Add version to make OPAM finally happy