Fixes #5581: activate the modified file repo on Windows