wjb/evaluation/afl-fuzz/afl-gcc