gmmktime fails because of bug! any solutions?

After some sleepless nights and a DB with messed-up GMT-Epoch-timestamps, I tried to figure out the problem with gmmktime and only then found that the bug persists since quite a while: http://bugs.php.net/bug.php?id=14391 At this point you CANNOT RELY ON GMT-TIMESTAMPS created by gmmktime(). They fail on w2k with the switch from/to DST and are the respective hour off... See problem description and examples in the link above. Does anyone know workarounds for this? I can help by providing testcases or testing grounds if that is nessesary, but I propose that this should be fixed asap. The clock is ticking and the next moment where the php-epoch-stamps will go crazy again is Oct 26th, 2002 greets.