I have a bit of a love/hate relationship with the Arduino ... back under the STM32/tools directory is another directory with the compiler that the IDE uses to compile your code.