···1616- latest_mtime = mtime if mtime > latest_mtime else latest_mtime
1717-
1818- glue_version = int(latest_mtime) # The latest modified time will do for now
1919-+ glue_version = 1678112021
1919++ glue_version = 1725828088
20202121 with open(version_header_dst, "w") as version_header:
2222 version_header.write("/* THIS FILE IS GENERATED DO NOT EDIT */\n")