add stuff for Travis CI