Hacks to make mods-config/.../ work better