Minor stdout revision in read_xtc_file