bump stm32f4 (bugfix), fix ssh remotes script