Change the OPAM build/installation procedure