64 bit files in System32

Some time ago, I noticed some of my programs stopped working because of error 0xc000007b. After researching a bit, I traced the source of the problem to two files: msvcr100.dll and msvcp100.dll . The 32bit versions of these files got switched (somehow) by their 64bit versions in the System32 folder, causing many programs to crash instantly. Is there a way to download or obtain the 32bit versions of these files so I can change them?

PS: I already tried reinstalling Visual C++ 2010 Redistributable (x86 and x64), and it did not work.

PPS: I found out about the two file by using depends.exe on a program which was not working. It should that the program used many x86 libraries, but the two files above were x64 and inside system32.

Install the latest Microsoft Visual C++ 2010 Redistributable Package x32 then x64 after deleting all previous VC++ versions and files and the problem will be fixed. The .dll is part of this distribution.

If that won't work, track the dlls to see that they land where they must. Use regsvr32.exe to manually register them (you can download them separately for this purpose from here).

If even that does not work, and you don't want to SFC your Windows, just drop the corresponding version (32 or 64) in the folder of your problem-apps .exe files.