Fix for opam trunk

Version.pinned is no longer defined
This should also be retro-compatible