update to opam-0.9.4