file encoding and txt2ass format