Thank you for suggesting those alternatives. If there is no other way I might switch to one of those.
But just to make sure: From my understanding the Mapbox Android SDK is open source (GitHub - mapbox/mapbox-maps-android: Interactive, thoroughly customizable maps in native Android powered by vector tiles and OpenGL.) or am I missing something?