workaround for filename decoding bug