with fopen() not using FILE_SHARE_DELETE was indeed the bug we were after, given lack of recent reports.