* a different method for getting the version for version.html, which
  should give nonzero exit status even if /buttonmen/.git/FETCH_HEAD doesn't exist