Maxima: 5.31.3

Following #300