Arduino IDE 0022 for 64bit linux?

The 64-bit version is up now. Sorry for the delay. A proper build process has now been put in place, so future 64-bit versions should come out with the rest of the releases.