Most probably the developers working on Linux port run 32 bit Linux themselves because of compatibility with some closed-source programs. ;)

I have no idea about the real reason, it's just a wild guess.