Retargeting libc to the Nucleo debug port and libopencm3