wxMaxima 16.12.1 -> 16.12.2