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

What version of the IDE are you running?