disable patching docbook tool in bin/download-devel-deps.sh
xx