CVS ctrl-c issue