Update dbdestroy.cc