Delete deprecated option for Travis CI