Arduino 0013 released.

i think, the amd64 version would use the normal libraries and java-amd64?

but the 32-bit version would need a lot of fumbling... :slight_smile:

e. g.: lib/librxtxSerial.so

or did that change?