Another try to fix PHP 5.2 support.