Manpages of arduino-builder in Debian unstable