Fix for android and raspberrypi builds.