CVS problem: stale lock?