AdrianC: trying to fix travis build