So does anyone know what to make of the fact that eventually windows defender deleted the .ini file for mIRC and so I had to back up from my old settings and when I did that the problem vanished, it was no longer being detected.