fix students.example.txt encoding