This *should* solve https://github.com/andrejv/wxmaxima/issues/383