cert-delete.tcl