The text a2f3d6ca578f, as Debian 9 (Stretch) shipped it.
systemtap linuxmib-filter-default tapset
tapset::linuxmib-filter-default(3stap) on Linux now
