Delete the old VERSION file before appending the new one in make dist