Hi all,
a minor issue:

$ csound -+msg_color=false -+rtaudio=JACK -o dac:system:playback_ -i
adc:system:capture_  -B4096  -m135 -+rtmidi=ALSA -M hw:7,0 -Q hw:7,0
-B4096  -m135 sf.csd
..
..
Csound tidy up: Segmentation fault

after creating the right midi device with:
$ sudo modprobe snd-virmidi index=7

all works fine

(csound 5.13 , archlinux)
thanks!