fuzzer: update BUGS-FOUND