write_or_die.c: rename to use dashes in file name