Manpages of libopts25-dev in Debian wheezy