Update wrench.def