Now give all files ending with .protogen to Protogen.
Update Protogen version.
Fix redis_internal not using the given id.