It's been a long time since the time zone data for 1.3.1_xx was generated. Since then, there were some name changes in the Olson public source releases and we need to catch up with those changes.