Clean up stub directories on distclean
Be verbose about NDK selection
Default to platform 19: binaries built for later versions break on older devices