cvs: get back to the stable 1.11.23 version.