xml2rfc and pandoc2rfc debian directories