correct naming of external hox_tools

Signed-off-by: travp624 <travp624@gmail.com>