update to OPAM-1.1.2-rc3, now with fewer local patches