[tz] Looking for a way to cut down binary zoneinfo size. Does anyone have the way to?

[Paul Eggert]

Android uses its own format, which is smaller; you might look into that. 
If memory serves, the default Android tzdata binary file doesn't worry 
about dates after 2038, which can save space if you know your devices 
cannot possibly be long-lived. There is an option to go past 2038, 
though, and I'd likely use that myself.