small bug fix for unicode filenames