Trying to fix the Travis test for PHP 5.3