-
Marcus authored
r12b has been forever the default. Let's explicitly request that version where we know we need it. Note; there's other builds that still implicitly rely on that version that don't use the buildjni flag. We don't really have a good way of finding those, except manually.
e592d5f8