Update the travis config accordingly