Some incantations to help illustrate the confusion:
# src/platform/options/ $ nm -Co lib/libmir*.so | grep "[BT] mir::options::" | cut --fields=1 --delimiter=: | uniq -c 18 lib/libmirserver.so
# src/shared/env/ $ nm -Co lib/libmir*.so | grep "[BT] mir::default_server_socket" | cut --fields=1 --delimiter=: | uniq -c 1 lib/libmirclient.so
# 3rd_party/android-input/ $ nm -Co lib/libmir*.so | grep "[BT] android::" | cut --fields=1 --delimiter=: | uniq -c 163 lib/libmirclient.so 787 lib/libmirserver.so
Some incantations to help illustrate the confusion:
# src/platform/ options/
$ nm -Co lib/libmir*.so | grep "[BT] mir::options::" | cut --fields=1 --delimiter=: | uniq -c
18 lib/libmirserver.so
# src/shared/env/ server_ socket" | cut --fields=1 --delimiter=: | uniq -c
$ nm -Co lib/libmir*.so | grep "[BT] mir::default_
1 lib/libmirclient.so
# 3rd_party/ android- input/
$ nm -Co lib/libmir*.so | grep "[BT] android::" | cut --fields=1 --delimiter=: | uniq -c
163 lib/libmirclient.so
787 lib/libmirserver.so