php53: fix build