Configure solver prefs in ~/.opam/config, detect newer aspcud