Adapt our travis build