Better handling of non ASCII characters in filenames (partial)