I have one friend with Windows XP system. He has the following problem:

He has a file named kickbanpro.exe on his desktop. I check the file and found it to be harmless as it is a mIRC addon and does not contain any harmful code. He can't delete/move/rename the file although he rebooted his computer several times.

What is the problem?