Fix some issues with the WebDAV server and post-10.4 OS X.