Keep only short toc, and thus remove the extra toc package