Some fixes, and all the solver on 'opam reinstall'