unresolved symbols are now displayed by default