Hi there guys! I wanted to download the TOR browser for my macbook pro osx lion. When I go to the download page, they offer me the option to choose from TOR 32 bit and TOR 64 bit. I thought all mac os were 64 bits...so does TOR has the 32 bit version? And in my case, which one should I get? Thanks!