trifecta: jailbreak
idris: build with latest llvm-general(-pure)
llvm-general: remove version 3.3.5