mrconfig: fix case of JEX clones