add linux tools: