Fix build break in mini-arm.c