# replace arduino/wiring.c
SRC += $(USB_HID_DIR)/override_wiring.c
-SRC += common/timer.c
+SRC += common/avr/timer.c
SRC += $(USB_HOST_SHIELD_SRC)
SRC += $(ARDUINO_CORES_SRC)
# for #include "pins_arduino.h"
VPATH += $(TOP_DIR)/$(ARDUINO_DIR)/variants/leonardo
+
+# ad hoc workaround for compile problem on Windows:
+# Windows doesn't know difference between common/print.h and arduino/Print.h.
+# On Linux no problem.
+# Change file name common/print.h to console.h ?
+VPATH := $(TOP_DIR)/common $(VPATH)