sed 4.0.2 was retired because of a packaging problem.