wxmaxima: added support for --HEAD