fix travis-ci script