Android GUI: Build with tools for 19.0.2