This is a tools folder used to run the makefile. You can easily get all the necessary tools by navigating to the player folder within Terminal, and then type the following command.

sudo make -B tools