Add `annot` and `bin_annot` tags when compiling `config.ml`