Fix build with PHP 5.2 from 2006