Manpages of systemtap-sdt-dev in Debian testing