Fixing up config (raspberrypi / linux), tweaking platform name for ios.