Oh oh, std_lib interception should really not be in tools...
Now happens only for global requires or can also be explicit.
Fix missing require. Clearly, these are not used much...
Split tools
require only the tools needed