wxMaxima 19.01.3 -> 19.02.0