Fix linux tools build