wxMaxima: update to 14.12.1