CTAN update: mathtools