write_file: use xopen