wxMaxima 15.08.2 -> 16.04.0