wartremover 0.7, now for 2.10.x