You can install 'non-free-codecs'


apt-get install non-free-codecs


And @b0bb3r5
The line should be changed to

getppid.__libc_start_man