ARMjit: vmin/vmax
Use the new NDK toolchain (gcc 4.8)