Meanwhile CVS just keeps working fine...