Fix -Wdtor-name warning from Clang 11 (@rmatev)

Marco Cattaneorequested to merge
cherry-pick-adaf3c9c into run2-patches

(cherry picked from commit adaf3c9c)

Merge request reports