fix bad assembly on 64 bit