mbed gcc project for Stm32F4Discovery