solved (was: cvs server is extremely slow.)