possible fix for travis-CI builds