Fix compilation for PIC32 with protobuf output.

Progress on #159.