Manpages of libnlopt-dev in Debian wheezy-backports