Migration of format v1.11, cc v1.12 on CVS