let error_rcs_archive = "Could not get RCS archive name from CVS output."