Refresh VERSION file when building distribution tarball in "make dist"