Fix some bugs in kattis2domjudge.