possible fix for travis-ci