echo "inner/default.do: PWD=$PWD '$1' '$2' '$3'" >&2
# output file is left empty