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.

but it seems we need an extra dependency too, so we need a manual
patch anyway.