This patch also tries to verify that the tools are actually found
early in the configure process, rather than failing with difficult to
parse errors at the end of the build.
Since the Android developer tools are defined earlier in the build
process, we can remove a work-around needed for |make install|.