another possible fix for travis-CI builds