[Bug 14841] ntdll: file.ok flaky