Add debian-wheezy, with opam 1.2 from APT