Informasjon for 4.0-4663

Merge pull request #1702 from CarlKenner/DebugSymbols

Fix many bugs with the Symbols menu (when run with -d argument).