fixed: filename encoding