Actually use protocol buffers

[#71721550]