Add encoding to open() calls with mode 'r/w'
I wasn't able to reproduce the error with Python 3.12. I added the encoding where we open a file with open() with mode either 'r' or 'w'.
@orlin.topalov Do you think this should do the trick for you?