gtk2 2.24.22, sbcl 1.1.12 texinfo workaround removed, maxima rebuild for it