Make interface destructors virtual