...had been lost with dd5fa4ce "declare default
dtor as virtual"

Change-Id: I30acd02c293a5ecc99f5bf4f6b1f6358ae392e93