fix flu64_encode() vs utf-8