I've put the program kodi-test here: https://people.debian.org/~sanvila/bug-820416/kodi-test.gz
It was built on a stretch chroot today (for amd64). To reproduce the segfault, just install the build-dependencies for kodi, i.e. on a stretch chroot, please do: apt-get build-dep kodi then try to execute kodi-test: ./kodi-test This is all you need to reproduce the problem. Thanks.
