update cvs to 1.12.12