travis + php5.5