wxMaxima 16.12.0 -> 16.12.1