Dropping some outdated tools