Saw this same issue compiling from the command line on a linux64 host. Seems there is some problem with the Linux64/arm-none-eabi-gcc ver 4.9 bundled with the 3.5.2 sdk. Updating to the latest arm-none-eabi-gcc from this source, https://developer.arm.com/open-source/gnu-toolchain/gnu-rm ver 5.4 got me past that error but some other syntactical problems appeared.
To use this from the command line I am using the TOOLCHAIN_PATH environment variable to select this alternate gcc compiler toolset. Assuming the toolset downloaded above is untarred under ~/arm-gcc the command line used to build one of the sdk examples would be