back to 64 bits for now