Merge pull request #1702 from CarlKenner/DebugSymbols Fix many bugs with the Symbols menu (when run with -d argument).
