Summary of changes: 5585fac... Bump up to latest CVS release (*) ced5947... Fix release number to make version comparison work. (*) c23c46f... Remove unused source from sources (*) (*) This commit already existed in another branch; no separate mail sent