small changes in non-kattis files