## symbols are not very useful for CPP, see
##   http://wiki.debian.org/UsingSymbolsFiles#See_also
no-symbols-control-file
