Manpages of gnubg in Debian wheezy