"pins_arduino.h: no such file or directory", but it's there?

[system]

Yes, I am finding it under the tools>boards menu.

so...