The hack I mentioned above: when the controler name should not be mangled, we prepend it with a slash