mIRC has handled double spaces like this for as long as I can remember. I don't really see it as a bug, or a reason for file names to contain double spaces. In my opinion, it's more logical to repair the file name yourself than it is to change mIRC's behavior.
