wxMaxima 19.01.0 -> 19.01.1