I've reported the lack of symbols to Debian on https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=997932 with a patch now
I've reported the lack of symbols to Debian on https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 997932 with a patch now