package-name-doesnt-match-sonames *
no-symbols-control-file *