Now able to submit files to KLEE