idris: remove unnecessary jailbreak