We got it fixed. He installed both vcredist_x86 and vcredist_x64 Visual C++ redistributable packages for Visual Studio 2013, and enabling .NET Framework 3.5 in Windows features if that didn't work.
