The tomoyo tools problem is an old one. The accepted ‘fix’ was to just remove it { FIX TOMOYO} Problem.