pass filename through to read_string from read_file