more recent opam file
fix quick tests