Fix linux terminal output encoding