fix fuzzer compilation

Authored by alcinos on May 12 2019, 5:22 PM.