fixes compilation issues on Linux and Android