Segmentation fault when trying to use a Picoprobe with OpenOCD

Question

i wanted to use the new Raspberry Pi Pico as a Picoprobe debugger. I followed this tutorial. I am using Windows. When i try to run it with

src/openocd.exe -f int