wxMaxima: fix build