Add 32bit libc to run broken Arduino IDE1.5.6(64bit)