update to the php timezone change work-around script. bump to 5.1.2 for release