wxMaxima 19.01.1 -> 19.01.2