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