Work aorund Android NDK bug