Use Android NDK's libc++