@michae7: Could you try my workaround described here: https://bugs.launchpad.net/ubuntu/+source/maxima/+bug/303587/comments/14 and see if that works anyway?
If so, we are talking about the same bug.
@michae7: Could you try my workaround described here: https:/ /bugs.launchpad .net/ubuntu/ +source/ maxima/ +bug/303587/ comments/ 14 and see if that works anyway?
If so, we are talking about the same bug.