mininet:  exception adjustment of `del` commands