Fix-SmartSymbols-in-TOC-tokens.patch
