xmaxima, wxmaxima do not work