In the line numbering there are missing numbers, e.g., in case 2 of DuMuX benchmark example. Maybe this is due to \r in stdout?