Xmaxima batch files