make sure tests run on Travis CI