This file is here for UnZip to generated this directory.
This directory will contain the Linux compiled mk* programs
used by ./src/configure.sh.
