Update maxima version