simplify travis-ci script