Better handle exotic filenames