generate file names that are consistent with protobuf's