wxMaxima 19.02.0 -> 19.02.1