Comment 1 for bug 1347522

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