Trying another fix for php5.3