fix compilation error of uint64 and int32 convertion