Really fix `opam config setup -l`