* Fixes #576 Make Android 4.0 the default target.