-json command-line option