Add an opam update to placate 1.2 (possibly bug)