added destructor to def names