filename encoding fix (hopefully)