Switch to CVS 1.12.11