How to compile Arduino 1.5.6-r2 for the Arduino Due?