fix misc_tools.mk