fix php53