PHP seems to use UTC instead of GMT on some machines/versions.