more on filename encoding