Modified the build scripts for TaintDroid