Manpages of swi-prolog-x in Debian wheezy-backports