dreach_tool(system.tex): update syntax of drh