fixing travis-ci script