Workaround for bug in maxima on latest ubuntu