verd1c/fuzz not found