No binary-addons when compiling Kodi 17 (Krypton)

I have followed the instructions here: https://github.com/xbmc/xbmc/blob/master…ME.android

Everything works, there are no errors however the final .apk does not include any of the binary addons, e.g. “iptv.iptvsimple.so”, yet when decompiling the official binary from http://mirrors.kodi.tv/releases/android/…bi-v7a.apk it contains the given binaries.

Anyone has any clue whatsoever what might be the cause?