Trouble with hello world on Tiny2350

I’ve received my Tiny2350 for my first steps into the RP2350 world but am having trouble getting “Hello World” working from …/pico-examples/hello_world/usb. It builds ok and I get a /dev/ttyACM0 serial port but no “Hello World” output. The USB port is obviously working as it connects as a mass storage device and I can flash it. Can also flash the Pimoroni MicroPython and connect through Thonny.
Do others see this? Is this a problem with the SDK at this stage?

Many thanks

Non issue :-)
I completely deleted pico-sdk and pico-examples and cloned again. After a clean build all is working ok.
I had updated with a pull so I don’t know what went wrong.