Problem with respeaker2-microphone configuration (set up Audio Recording/PyAudio fails)

When I try to set up Audio Recording/PyAudio on the page “myrpi:12101/settings”,
I only have “default” for the device and activating refresh does not present me with a list of devices from which to choose, so I am not presented with the choice “default:CARD=seeed2micvoicec” as on my other working installation.
I have also made a log of what happens when I start Rhasspy, you can see a missing library and also a segmentation fault occuring. Here is the link to that log-file
https://www.dropbox.com/s/25zpc2qqaawdymw/logs.txt?dl=1

Here is some background info:
I started with a fresh Raspberry OS installation, I installed the respeaker-2 software as follows:
git clone https://github.com/HinTak/seeed-voicecard/
cd seeed-voicecard
sudo ./install.sh
sudo reboot
aplay -l showed:
**** List of PLAYBACK Hardware Devices ****
card 0: seeed2micvoicec [seeed-2mic-voicecard], device 0: bcm2835-i2s-wm8960-hifi wm8960-hifi-0 [bcm2835-i2s-wm8960-hifi wm8960-hifi-0]
Subdevices: 1/1
Subdevice #0: subdevice #0
arecord -l showed:
**** List of PLAYBACK Hardware Devices ****
card 0: seeed2micvoicec [seeed-2mic-voicecard], device 0: bcm2835-i2s-wm8960-hifi wm8960-hifi-0 [bcm2835-i2s-wm8960-hifi wm8960-hifi-0]
Subdevices: 1/1
Subdevice #0: subdevice #0

I am able to record sound with arecord and to play it back with aplay. There is however one thing which puzzles me and which might be important:
Why do I get Subdevices 1/1 and not Subdevices 0/1 as output for arecord -l as I see on another raspberry with Rhasspy installed?

any help is very much appreciated
kind regards,
Hugo
p.s. The Rhasspy with the problem was installed on a raspberry 3 as follows:
wget https://github.com/rhasspy/rhasspy/releases/download/v2.5.5/rhasspy_2.5_armhf.deb
sudo apt install ./rhasspy_2.5_armhf.deb

Can you try installing the portaudio19-dev package and see if that helps? I wonder if this provides something extra outside libportaudio2 (which Rhasspy should have installed automatically).

You may also try using ALSA instead of PyAudio, just to rule out the seeed audio device.

I always use arecord -L instead of -l which seems to list things a bit differently.

liportaudio2 was installed.
Installing portaudio19-dev didn’t make any difference.
I finally got the system working by selecting arecord in stead of PyAudio and choosing “Device: capture PulseAudio Sound Server (capture)”

After doing that setup:
arecord -l and aplay -l show different Subdevices:
arecord -l
**** List of CAPTURE Hardware Devices ****
card 0: seeed2micvoicec [seeed-2mic-voicecard], device 0: bcm2835-i2s-wm8960-hifi wm8960-hifi-0 [bcm2835-i2s-wm8960-hifi wm8960-hifi-0]
Subdevices: 0/1
Subdevice #0: subdevice #0
aplay -l:
pi@rpi3hc1:~ $ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: seeed2micvoicec [seeed-2mic-voicecard], device 0: bcm2835-i2s-wm8960-hifi wm8960-hifi-0 [bcm2835-i2s-wm8960-hifi wm8960-hifi-0]
Subdevices: 1/1
Subdevice #0: subdevice #0

B.t.w. this is the output of arecord -L:
pi@rpi3hc1:~ $ arecord -L
null
Discard all samples (playback) or generate zero samples (capture)
jack
JACK Audio Connection Kit
pulse
PulseAudio Sound Server
playback
capture
dmixed
array
default
output
sysdefault:CARD=seeed2micvoicec
seeed-2mic-voicecard, bcm2835-i2s-wm8960-hifi wm8960-hifi-0
Default Audio Device
dmix:CARD=seeed2micvoicec,DEV=0
seeed-2mic-voicecard, bcm2835-i2s-wm8960-hifi wm8960-hifi-0
Direct sample mixing device
dsnoop:CARD=seeed2micvoicec,DEV=0
seeed-2mic-voicecard, bcm2835-i2s-wm8960-hifi wm8960-hifi-0
Direct sample snooping device
hw:CARD=seeed2micvoicec,DEV=0
seeed-2mic-voicecard, bcm2835-i2s-wm8960-hifi wm8960-hifi-0
Direct hardware device without any conversions
plughw:CARD=seeed2micvoicec,DEV=0
seeed-2mic-voicecard, bcm2835-i2s-wm8960-hifi wm8960-hifi-0
Hardware device with all software conversions
usbstream:CARD=seeed2micvoicec
seeed-2mic-voicecard
USB Stream Output

kind regards,
Hugo