run Travis also on PHP 5.3