just make 64-bit for now