linux fix; STM32F4 hack

\ = /