Do I still download the 32 Bit Virus Software for pro Tools 10 on Windows 64 Bit???