Work around problems with CVS clients on case-insentitive operating systems