Coke: Your patches flunk!
Bad options processing in tools/build/pmc2c.pl
Quickly fixed
But there were deeper problems:
continued...
