Output contacts in raw JSON rather than pretty-printing (which output ten copies of the same garbage on iOS, but worked on Android).