Fix ext solver config for opam-rt