The current win32Arduino implementation uses `arduino.h` but existing arduino tutorial and test shows that `Arduino.h` may be more appropriate.