The text a98310ba6b0e, as Debian 8 (Jessie) shipped it.
systemtap linuxmib-filter-default tapset
tapset::linuxmib-filter-default(3stap) on Linux now
