Build scripts for KLEE