debian/patches/any/local-bootstrap-headers.diff: update to install gnu/lib-names-$abi.h. Closes: #892126.