php 5.2 fix