Well, it wont hurt to download it from here, but I exported the file from my own registry. It has the proper registry settings for exefiles regardless of Windows OS, which the virus changes:
HKEY_CLASSES_ROOT\exefile\shell\open\command
The entry should be: "%1\" %*"
As oppossed to the file name that the virus is using to propagate itself.