Restored KLEE_HOME to Makefile now that I fixed the problem on my end