Hi, [jon@spoon jon]$ dpkg -S /usr/share/man/man2/ptrace.2.gz manpages-dev: /usr/share/man/man2/ptrace.2.gz so looks like you need an `apt-get install manpages-dev` HTH, -Jon