This set of STM32 build instructions https://github.com/atomvm/AtomVM/blob/0f4a060551a961c333d69f5f46d99ac9344e9463/doc/src/build-instructions.md?plain=1#L762-L767 seems to be missing a ```shell $ cd src/platforms/stm32 ``` at the start (i.e. insert as a new line after 762)?