Moved to new xml2rfc command line