Fix dejagnu test support for --tool_opts