The text b0a8bd08bfa4, as Debian 7 (Wheezy) shipped it.
systemtap miscellaneous and paths
stappaths(7) on Linux now
