Delete DEFKIN.cpp~