Should use UTC rather than GMT, per http://www.php.net/manual/en/timezones.others.php