Manpages of libnlopt-dev in Debian stretch-backports