Android support

Also adds -v (verbose) option for verify