We should be able to call the solver for all supported platform without having to switch

[samoht]

This is currently quite hard because of the way opam-libis done. It's seems possible though, so we should try harder.