Possible fix for travis issue