this reverses commit 4e380d63afdcc1df. that commit was made in error. in fact, we *need* and *want* this virtual dtor declaration, otherwise its absense is the cause of some important warnings