update to the travis-ci script