wxMaxima 19.09.1 -> 19.10.0