Probably. I wound up just making a bootable usb installer and that fixed it. It's not a particularly hard problem to work around, just an example of something

Probably. I wound up just making a bootable usb installer and that fixed it. It's not a particularly hard problem to work around, just an example of something that can pop up while in mac's recovery mode.