travis-ci: fix