Possible fix for travis-ci