fix build failure on php 5.3