in order to use the versioned source releases offered by github leveraging git tags,
we really want the ant build.xml file to have the same version number.