Normalize OSX's weird filename encoding