travis-ci: fix script