Make aes_ctr.c 64-bit savvy.