Be more resilient in the face of different JSON libraries (ujson is not always
available).
Fix error in previous commit.
Manifest file.