Fix #455

We now have a more precise OPAM and OS versions in error messages