Add missing override on destructor

2 jobs for master in 7 minutes and 57 seconds (queued for 7 minutes and 17 seconds)