Destructor of virtual class should be virtual

Thanks to Vegard Nossum for reporting this