jailbreak idris to work with newer llvm-general