Some changes to the travis config