Vmtrace bug fix

Oh. Is this really a C-style cast from a void pointer?
I understand that it's probably not a good idea to use dynamic_cast in this context and some may have objections against polymorphism, but is this really the way to go? (I know you did not change this code here)