make travis build in PHP 5.5