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