It looks like libcorelinux still fails to build: https://buildd.debian.org/status/package.php?p=libcorelinux Thanks, Jeremy Bicha