Fix two brainos in veridex. am: e92bc531dc am: 058f83c3f1

Original change: https://android-review.googlesource.com/c/platform/art/+/2388216

Change-Id: I6c8f2ae31d9bbe8e2ed85d73e7bf2783d0e8f00c
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>