Not sure what it requires, but is it possible that 32-bit addressing was somehow turned off? Could that do it?