I'm running the 32-bit IDE on a 32-bit antiX. Just run the arduino script and let us know how that works out.