Remove raw_read_stdin and raw_write_stdout, and use the direct read()
and write() functions.
Simplify make_config_name().