amend ktest-tool and fd.c klee-gcc