Give PHP 5.5 on Travis CI another try