Ugly workaround for messed up file name encodings