config.h needed by ndk-build