Removed tools entries that are duplicated in tools.mk

These lines are duplicated in tools.mk.