FIXME: the following code uses obsolete CVS ID tags. It should be modified to use git version information.