tools-check: allow which tool to be missing