Workaround for Windows filename extraction bug.