Let's try to use Google's 4.8 Toolchain