add always_generate_encoding_declaration setting