Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2