Stuff for travis-ci