now that systemtap 2.3 is out, we require this version (and above) in docs.