jackd не работает, aplay -l показывает два экземпляра одной и той же карты (Ubuntu 13.04, только аудио HDMI)

Я на Ubuntu 13.04, используя ZaReason Zini, который, насколько я могу судить, не имеет звука, кроме его порта hdmi. Я пытаюсь запустить Overtone библиотеки Clojure и столкнулся с проблемой, описанной здесь. Основная проблема заключается в том, что jackd не работает:

anand@anand-desktop:~$ jackd -R -d alsa
jackdmp 1.9.10
Copyright 2001-2005 Paul Davis and others.
Copyright 2004-2013 Grame.
jackdmp comes with ABSOLUTELY NO WARRANTY
This is free software, and you are welcome to redistribute it
under certain conditions; see the file COPYING for details
no message buffer overruns
no message buffer overruns
no message buffer overruns
JACK server starting in realtime mode with priority 10
audio_reservation_init
Acquire audio card Audio0
creating alsa driver ... hw:0|hw:0|1024|2|48000|0|0|nomon|swmeter|-|32bit
ALSA: Cannot open PCM device alsa_pcm for playback. Falling back to capture-only mode
Cannot initialize driver
JackServer::Open failed with -1
Failed to open server

Следуя сообщению блога и советам, которые другие задавали для подобных проблем, я сделал aplay -l и увидел

anand@anand-desktop:~$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: PCH [HDA Intel PCH], device 3: HDMI 0 [HDMI 0]
  Subdevices: 1/1
  Subdevice #0: subdevice #0
card 0: PCH [HDA Intel PCH], device 7: HDMI 1 [HDMI 1]
  Subdevices: 1/1
  Subdevice #0: subdevice #0

Кажется, что есть две копии одной и той же карты. Выполнение jackd -R -d alsa -d hw:0 создает исходную ошибку, а любой другой номер устройства приводит к

ALSA lib pcm_hw.c:1401:(_snd_pcm_hw_open) Invalid value for card

К сожалению, это означает, что стандартное исправление, описанное в сообщении в блоге, не работает для меня. Как я могу заставить Jackd работать?