Ошибка максимальной сегментации PHP exec() в Ubuntu 20.04 ⇐ Php

[Anonymous]

Обновление: перенаправив stderr из php exec, я теперь вижу, что запуск maxima приводит к ошибке сегментации, что увеличивает вероятность того, что это на самом деле ошибка.
Важное примечание: это раньше отлично работал в старых версиях PHP/Ubuntu.
Я пытаюсь заставить PHP exec() (или she_exec() ) перенаправить вывод (stdout) вызова maxima в текстовый файл. Все, что я получаю, это пустой файл.
Я попробовал самую простую команду:

Код: Выделить всё

exec( "maxima -b /var/www/tmpIn.txt > /var/www/tmp/tmpOut.txt");

(tmpIn.txt содержит только текст «1+1;», все разрешения установлены правильно).
Если я вставлю эту команду в терминал будет работать нормально, exec() php создаст только пустой файл. Однако это справедливо только для бинарной системы максимумов; cat/echo/ls и т. д. перенаправляются нормально.
Мне это кажется чрезвычайно странным, особенно если учесть, что раньше этот код работал хорошо, как уже упоминалось. Есть ли какой-нибудь обходной путь для этой «ошибки»?
Информация о системе:
ubuntu 20.04
PHP версии 7.4 на Apache2
Maxima 5.43.2
баш

Подробнее здесь: https://stackoverflow.com/questions/650 ... untu-20-04