stuff for travis-ci