So, I have played around with the Linux version of this for a little bit. I noticed that a lot of libraries, if not all, is deprecated and can no longer be downloaded in Ubuntu 15.04 or newer. Although, it does work if you manually transfer the correct .so files from a Ubuntu 14.04 system.
Anyway, to my testing, I couldn't get these things to work properly:
Video playback always seem to return 0. Tried vp8, vp9 and h264 and nothing worked.
Music volume can't be changed. Using SetMusicFileVolume() or SetMusicSystemVolume() doesn't work and the volume is always at 100. Haven't tried with sound.
GetDeviceType() and GetDeviceID() is empty.
GetDeviceLanguage() returns "LC_CTYPE=" instead of "en".
GetDocumentsPath() returns the writable directory instead of the actual documents directory.
That's everything I noticed from just quick testing...