Fix filename encoding again