Fix garbled file names in Mac OS X