echo "WARNING: stm32_stlink.cfg is deprecated (and does nothing, you can safely remove it.)"