@whitequark oh, yeah, Debian packaging is... quite something!

Maybe someone made a PPA with devel versions?