Fix JNI crash on armv7 (32 bit) devices