Use the new options of the Travis CI script