maxima 5.44.0 -> 5.45.0