executor: make destructor virtual