This build directory is kept empty, for use with the build instructions in the file
../../INSTALL.
