# Some of the symbols we export are C++ symbols.  Tracking those is more trouble
# than it's worth.
no-symbols-control-file
