Hey there, I was wondering if there are any plans to deliver 64-bit Linux binaries (maybe for the development version) in addition to the 32-bit ones. I couldn't find anything regarding this, and this would really make me happy. Regards, finkler