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

I followed the tutorial (barebones)

I do believe that there is more than one. Which one are you referring to?

downloaded the files

Which files? From where?

and placed them in the right directories.

Which ones would those be?

But when I open the program

Which program?