protoc: slightly nicer output in silent mode