Catch up to latest Arduino IDE

Fix to catch up to latest Arduino IDE(1.5.6rc2), for Arduino Due target example.