no-symbols-control-file
