Other systems don't have that and instead use Asia/Shanghai as defined
in the timezone database. This caused different timezone lookup results
in the vicinity of China on those systems, like in the HKG test.

We no explicitly check for this when generating our timezone tables.