add a virtual destructor

later versions of gcc complain, even though class has no members