Allow DISABLE_TOOL for arguments
DISABLE_TOOL
Should go with Rec!2496 (merged), Phys!969 (merged), Moore!967 (merged)
cc @gunther