### Please describe the problem. I am receiving a weird error when trying to add a file into a git annex repo on Android. I can't explain how it got into this state, and I can't figure out how to fix it. ### What steps will reproduce the problem? See the output below - I'm happy to run any debugging commands that are required. ### What version of git-annex are you using? On what operating system? ASUS Transformer Infinity Android Tablet, Android 4.2.1. [[!format sh """ git-annex version: 4.20130601-g7483ca4 build flags: Assistant Webapp Testsuite S3 WebDAV Inotify XMPP DNS local repository version: 3 default repository version: 3 supported repository versions: 3 4 upgrade supported from repository versions: 0 1 2 """]] ### Please provide any additional information below. [[!format sh """ u0_a141@android:/sdcard/git-annex.home/Documents $ git annex add Music/MobileSheets/The\ New\ Real\ Book\ 1/New\ Real\ Book\ 1\ Eb_19.pdf add Music/MobileSheets/The New Real Book 1/New Real Book 1 Eb_19.pdf (checksum...) unknown option -- reflink=auto git-annex: /storage/emulated/legacy/git-annex.home/Documents/.git/annex/tmp/New Real Book 1 Eb15137.pdf: rename: does not exist (No such file or directory) failed git-annex: add: 1 failed 1|u0_a141@android:/sdcard/git-annex.home/Documents $ ls -la .git/annex/tmp/ drwxrwxr-x 2 root sdcard_r 4096 Jun 14 13:42 . drwxrwxr-x 6 root sdcard_r 4096 Jun 14 13:35 .. u0_a141@android:/sdcard/git-annex.home/Documents $ """]] > Should be [[fixed|done]] --[[Joey]]