I am running windows xp professional. How do I know whether to download the patch for 32 bit or 64 bit?