try again to fix the travis config