Hifiberry DAC+ pro (no ADC) supported?

Hi guys,
does the v0.7.2 version also support the Hifiberry DAC+ pro (without ADC)?
I am asking, because I struggle to get it working on a RPi model 3B, with sushi reporting

/usr/bin/sushi: line 7: exec: sushi_b: not found

and
elk-pi:~$ ls -l /dev/rtdm
total 0
crw-rw---- 1 root xenomai 242, 0 Apr 29 06:21 autotune
crw-rw---- 1 root xenomai 251, 0 Apr 29 06:21 memdev-private
crw-rw---- 1 root xenomai 251, 1 Apr 29 06:21 memdev-shared
crw-rw---- 1 root xenomai 250, 0 Apr 29 06:21 memdev-sys
crw-rw---- 1 root xenomai 240, 0 Apr 29 06:21 switchtest
crw-rw---- 1 root xenomai 241, 0 Apr 29 06:21 timerbench

… so apparently no audio module loaded :frowning:

In /usr/bin/load-drivers it is configured as
AUDIO_HAT=“hifi-berry-pro”

Thank you for comments.
tino

Hi @rocknroller,
you need to set up the hifi-berry non pro version with the command:

$ sudo elk_system_utils --set-audio-hat hifiberry-dac-plus-adc

as explained here:
https://elk-audio.github.io/elk-docs/html/documents/working_with_elk_board.html#changing-audio-hats