wxmaxima: add support for --HEAD