Never heard of that problem.

You could try going to cnet.com and look under downloads to see if there's a third party freeware/shareware defragging program. That might be a work around.