wxMaxima: bump to 13.04.2