with open(os.path.join(save_dir, "special_tokens_map.json"), "w") as f:
        json.dump(special_tokens_map, f, indent=2)

    print("special_tokens_map.json written manually")