maxima: update to version 5.31.3