correctly formats proto files