Apparently, this file does not exist, even though a computer might tell you that it does. Certainly, I couldn’t find it. I even removed the laptop hard drive and attached it to another system, just in case there was something hiding it in the host OS...