I don't know, renpy made them itself. Usually the universal version is used, the other versions are downloaded in case this version doesn't work.
