Updated with-tools version