fix for php53