[Mono]

Hard to say, what is the problem. I use that file manager for a long time (many different versions, as it was developed) and no problem.

So, I guess, it is not because of that program. But one never knows....