Specifically, I'd like to get the file explorer.exe of version 6.3.9600.17238 (from Windows 8.1 Update 1). I have the following file on my system:
C:\Windows\WinSxS\wow64_microsoft-windows-explorer_31bf3856ad364e35_6.3.9600.17238_none_4d01a98581e82d4f\explorer.exe
But it looks like some kind of diff, it's only 216 KB, while the original file is around 2 MB.
How can I extract the file? Or alternatively, is there another location where I can find this file, locally or online?
I need the file of this specific version for a tool I'm developing. Not in order to repair an OS installation.