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
