fix build on php54