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