Removed tools entries that are duplicated in tools.mk