fixed the travis config