gcc build directory that works with STM32Cube_FW_F4_V1.1.0/Projects/STM32F4-Discovery/Examples/GPIO/GPIO_EXTI