Fix kattis problem names