wxmaxima v. 13.04.02