wxMaxima:version bump