better support for php-5.3