fix filename encoding error