Merge pull request #11928 from K0bin/adrenotools-release-build-fix Android: Fix Adrenotools in release builds
