As far as I can see the tz database is OK as-is. Usually, the last Thursday at 24:00 is the same as the last Friday at 00:00. When they disagree, as in 2011, the Thursday rule appears to be the correct one.