Windows 7 chkdsk bug linked to antivirus software