Well, I just stumbled onto this. I took a wild guess and it looks like it may work:
void W5100Class::getRemoteIPAddress(SOCKET s, uint8_t *_addr) {
readSnDIPR(s, _addr);
}
Update: For those interested, you can find my modifications here: GitHub - ablakely/Ethernet-ablakely: My modifications to the Arduino Ethernet lib 