Update src/decoder/external_decoder.ml