version used successfully after switching KDB to the ARM Inc. supported
toolchain on launchpad (GCC ARM Embedded)