The error name `ERROR_ACCESS_DENIED` seems to indicate that we're simply not allowed to write to this file, no matter how much we retry. Googling seems to indicate that it is in fact a permissions error.