How to install android-platform-build-headers on Debian 9 (Stretch)