@whitequark oh, yeah, Debian packaging is... quite something!
Maybe someone made a PPA with devel versions?