### Please describe the problem.
On Andorid adding a respository on box.net account to an exisiting repository does not work. The following error message is displayed:


Internal Server Error
WebDAV failed to write file: /etc/ssl/certs/: getDirectoryContents: does not exist (No such file or directory): user error

The directory does not exist, indeed.

### What steps will reproduce the problem?
Add a repository on a Box.net server to an existing repository from the webapp (encrypted and shared with other devices and friends). The error appears after clicking on "Add repository"


### What version of git-annex are you using? On what operating system?

git annex 5.20140128-g32f1f68 on Android 4.1.2 (Samsung GTN8010)
Build flags: Assistant Webapp S3 WebDAV Inotify XMPP DNS Feeds Quvi TDFA CryptoHash

> Cooincidentially I noticed I'd dropped the patch that fixes that on
> Android, and have been in the process of rebuilding the Android
> autobuilder with it today. That build has finished now. [[done]]
> --[[Joey]]