wxMaxima 19.12.4 -> 20.01.1