read_ascii():  default col labels now 'col1', 'col2', ...