Writing over a deleted file with the same name may write garbage data

[antangelo]

Sometimes, after writing a large file, and then deleting the file, writing over the file again will result in garbage data being read back.

Reproduced on a clean drive image by copying a 256MB file, deleting it, and then copying a smaller file with the same name. The MD5 sum of the second file is incorrect (it matches neither the first nor second file copied).