git-annex 5.20140717

This will probably fix #31157