fix for broken php5.3 build