fix idris to build with newer llvm-general

somehow jailbreak didn't work in this case, as this is an
optional (but enabled by default) dependency.