the last page of the file gets written to disk even if that page is on the
free list and contains no data. Otherwise the disk file will be too small
which can lead to database corruption in subsequent transactions. (CVS 643)
FossilOrigin-Name: 36fc0add660f9f3676783765d37280aa874caecb