Mac Terminal has garbled characters