Delete dh.maude