* fix build on PHP 5.3