Fix compatibility for PHP 5.3 (https://bugs.php.net/bug.php?id=43200) #7