Silence useless warning in src/json/json_spirit_writer_template.h