Pkg xen devel - Jun 2013 - Bug#688311: xen-utils-4.2: qemu-dm not available

So how do I set up an HVM with Debian?

I tried with device_model_version="qemu-xen", and I got this:
libxl: error: libxl_dm.c:1086:libxl__spawn_local_dm: device model
/usr/lib/xen-4.2/bin/qemu-system-i386 is not executable: No such file or
directory

I also tried device_model_version="qemu-xen-traditional", and I got
this:
libxl: error: libxl_dm.c:1086:libxl__spawn_local_dm: device model
/usr/lib/xen-4.2/bin/qemu-dm is not executable: No such file or directory

Is this what I should be doing?

device_model_version="qemu-xen-traditional"
device_model_override="/usr/lib/xen-4.1/bin/qemu-dm"

I could not find any documentation that would otherwise allow me to successfully
set up an HVM on Debian Xen.