OK,
mentre provavo a controllare il file a cui facevo riferimento prima, ho trovato la soluzione al "mistero".
Il file giusto dove fare riferimento non è "arduino_pins.h" ma "arduino_pins.c", qui effettivamente le cose sono scritte in modo che anche un principiante come me non può sbagliare.
Grazie per la risposta, mi è stata utile per riuscire a venire a capo del problema.
Buona notte e Buona Natale a tutti
Meluino