Fix travis tests for PHP 5.3