wxmaxima: update from 13.04.2 to 14.09.0