Fixed typo in arduino-core/build.xml. Closes #2339