fix PHP5.1 build