improve Travis CI support