Try to fix PHP 5.6 build error