Update shared/tools.h