Use extensions defined in Tools.