Nairobi time zone fails in 7.4

Hi,

In 7.3 I was able to do:
ALTER DATABASE babase SET "TimeZone" TO 'Nairobi';
a nice Posix TZ value (FYI UTC+3 w. no daylight savings time).

In 7.4 this no longer works.  I see some UTC+3 time zones
in the 7.4 docs, but how am I to know that they correspond
to Kenyan time, especially with respect to daylight
savings and other goofyness?  What's the right thing to do?

Thanks.

Karl <kop@meme.com>
Free Software:  "You don't pay back, you pay forward."
                  -- Robert A. Heinlein