System Workbench for STM32

Thanks, I've tried simplifying everything using LED2, so it now looks like this:

int main(void)
{
GPIO_InitTypeDef gpio;
RCC_AHBPeriphClockCmd(LED2_GPIO_CLK, ENABLE);

GPIO_StructInit(&gpio);
gpio.GPIO_OType = GPIO_OType_PP;
gpio.GPIO_PuPd = GPIO_PuPd_UP;
gpio.GPIO_Mode = GPIO_Mode_OUT;
gpio.GPIO_Pin = LED2_PIN;

gpio.GPIO_Speed = GPIO_Speed_2MHz;
GPIO_Init(LED2_GPIO_PORT, &gpio);
GPIO_WriteBit(LED2_GPIO_PORT, LED2_PIN, Bit_SET);
while(1)
{

}
}

Which should just turn on LED2, but nope, nothing. We have another spare board, so I've switched to that but got the same result.

PA13 & PA14 are still pulsing and PB4 is still steady. PA13&14 don't have any alternative functions according to the documentation, PB4 is a PWM pin & used for SPI1.

I just noticed there are 2 errors, 'Program "arm-none-eabi-g++" not found in PATH' and 'Program "arm-none-eabi-gcc" not found in PATH'. I'm guessing this is the problem, although I haven't change the path variable, or change the toolchain filepath. I've tried resetting the preprocessor include paths, but no luck.