Include pins_arduino.h manually if the old Arduino IDE is used