Use io.open with utf-8 encoding