hack to not exclude the tools when removing all plugins