Added -JSON=jsonfile option to convert