fixes for travis-ci