Possible fix for Travis CI build