[dguido]

Yep, it's maybe a little more complicated than I let on. We went through the same process you described on a recent engagement and here was the outcome:

https://github.com/trailofbits/protofuzz