cvs: update to 1.12.13.