add maxima version