use PHP 5.5 for travis-ci