Move to 1.0.1, which actually builds in opam