* build-aux/gendocs.sh: restore lost x bit