Manpages of libfltk1.3-dev in Debian stretch