If there are any out-of-distro users of our dyninst libraries, I expect
they are of the more research-oriented type who will appreciate keeping
up the version. I suppose any such people should speak up, please, if
you disagree.
So given that this library's use is pretty well contained, might it be
OK to go ahead and update in F18?