Get correct ID for Android API 17 on CI.