Hardcode the version number.  git doesn't have the HEADURL thing we used to use.
Updates for icpc