Ok, so He Has windows and checked for the file in that location but it was not there.
What should he do? And please dont say complete reinstall… do you know why it happened in the first place?
maybe the file can be downloaded dfrom somewhere or, it could be part of the next update?