KLEE (http://klee.github.io/klee/) needs LLVM-2.9, but it does not compile, due to a missing include. I added this include.