The only other option would be to get a third party defragmenter http://lifehacker.com/5348638/five-best-disk-defragmenters