Use travis only for PHP 5.3