PGP Whole Disk Encryption and ESET Antivirus