fix linux tools build, closes #69