AdrianC: Fixing travis