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

I'm using Arduino 1.0.1