Tweak for xml2rfc bundled with Debian