Error: This board doesn't support arduino framework! This despite supposedly having v2.7.1 of STM32duino core.