This directory is empty, but can be used to install the executable
tools.  The default configuration file is set up to install
executables in this directory.
