Possible getdns build issue?

Hi, guys! I'm running OpenWrt 18.06 and just noticed this weirdness with getdns. I don't know if it's the best place to report it, but here goes…

root@heimdall:/usr/lib# ls -lai | grep getdns
    566 -rw-r--r--    1 root     root        392072 Apr 22 20:16 libgetdns.so.10
    590 -rw-r--r--    1 root     root        392072 Apr 22 20:16 libgetdns.so.10.1.0
root@heimdall:/usr/lib# cmp libgetdns.so.10 libgetdns.so.10.1.0
root@heimdall:/usr/lib#

… basically, it's the same lib, not even a hardlink. Shouldn't libgetdns.so.10 be a softlink to libgetdns.so.10.1.0?