Here's a patch which reverts the header rename (since we simply can't go moving headers that we install in between minor releases) and updates the Debian packaging info so I can get a new version into the Debian archives. Please apply - thanks. cheers. -- Nathan