2 ways to check if windows is 32bits or 64 bits