add properly-formatted -D options to named.args files

Evan Hunt requested to merge 259-named-args-v9_12 into v9_12

Merge request reports