fixup Travis CI job