Fix: use src64_tmp instead of src_tmp when 64 bit was detected.