It's not entirely clear whether RPi-specific builds of libasound2 debs are
even necessary (possibly Debian's own builds would suffice) but we built this
from Raspbian sources anyway.