Update linux_tools.md