BBBAndroid build scripts and makefiles for TaintDroid