Should probably ask @yichoi or @sanxiyn about this, though if it still builds with the Android NDK I assume it's ok.