It's in your mIRC directory as we told you to check.
Note that your mIRC directory is NOT C:\Program Files\mIRC. That is your installation directory. Your settings are generally placed in your AppData folder, unless you set it to manually place it somewhere else.
You can get your mIRC directory by typing //echo -a $mircdir
Note also that you *can* set your mIRC ini to be loaded from outside your mIRC directory-- you probably did not do this though, so you should assume the ini file resides in your mIRC directory.
