Fixed mixup of opam repo config files

the opam-rt repo config file was fetched over git and read by opam which got confused