wxMaxima 19.01.2 -> 19.01.3