Anonymous CVS server not being updated?