Commenting out set_timegmt() due bugs in specific versions of PHP