main.c: default to FORMAT_JSON