no-symbols-control-file *