explicit definition of abstract destructor / constructor