Attempt to fix php5.3 segmentation fault