Possible fix for Travis timeout