Changed the tar output to only contain KLEE output files