Actually what you need to change in the IPAddress.h debian version is only what you can find into this new patch attached in this email. The two casts to (uint32_t*) are only valid and useful into the original version of the library, here they are completely useless. So it's better if you include this latest patch.
Bye. Francesco
IPAddress.h.patch
Description: Binary data