Patch for webdav module.
Fixes: #20