INSTALL: In Python 3, need to install protobuf-py3, not protobuf.