Try a nicer travis config