SW4STM32 - use GCC v4.9 ?
Working with exported mbed projects requires GCC v4.9.
This is not mentioned in Documentation > System Workbench for STM32 > User Guide > Importing an mbed program
http://www.openstm32.org/Importing+an+mbed+program?structure=Documentation