EthernetDHCP on 0019?

With the new 0019 release, the EthernetDHCP library I've been using (http://gkaindl.com/software/arduino-ethernet/dhcp) stopped working.

Anyone working on a fix ? I looked into it, but its' way, way over my head.

A possible reason for this is mentioned in the Release Notes for 0019:

ARDUINO 0019 - 2010.09.03

[core / libraries]

  • Revised Ethernet library (by Christian Maglie). This depends on the
    new SPI library, so existing sketches will need: #include <SPI.h>
    added to the top of their code.

That didn't do the trick. I believe the new Ethernete library was completely revisited. Hopefully someone will dive into this soon.

I modified EthernetDHCP and arduino-0019(w5100.cpp, w5100.h), it corresponded.
http://www.arduino.cc/cgi-bin/yabb2/YaBB.pl?num=1285315867/0

Please transmit the message if necessary.