src: add missing virtual destructors
This pull request contains three commit which add missing virtual destructors. Please see the individual commit messages for details.
Checklist
-
make -j4 test
(UNIX), orvcbuild test
(Windows) passes -
commit message follows commit guidelines