This reverts commit 742ddac8.

Does not work on the official build server.

Closes: #2014

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.

Menny Even Danan authored Feb 03, 2020 and Licaon_Kter committed Feb 03, 2020

* Colorized nav-bar on supported devices.
* Gesture-Typing fixes and improvements.
* Various fixes around theme setting.
* Updated translations.
* YABTU

More here: https://github.com/AnySoftKeyboard/AnySoftKeyboard/milestone/91