CVS problems with merging directories.