Don't engage Maxima debug log mode to work around encoding error