libverto: Use libverto 0.2.4 from Ubuntu 14.04 on 12.04. Needed by krb5-1.12.1