@Francois I get this errors as well using Arduino IDE v1.0.6 and many many more errors when I use IDE v1.5.7. Did you figure out a solution? I'm running Windows 8.1 64 bit.