wxMaxima 19.11.1 -> 19.12.0