Possible fix for travis file