Fix Linux warning about missing virtual destructor in Operation classes