Port to 64 bits