wxMaxima 18.11.4 -> 18.12.0