Note that since a7dbef0f6b, we default to API level 10 by default.