Now uses the third argument to Stdio.write_file() in the etc/support update. Rev: server/base_server/roxen.pike:1.290