Revision 352369

Now the cents have always the same name, regardless of the version
(which is in the manifest) to enable easy uptodate check by the build.