PHP 7.1.33, 7.2.24 und 7.3.11

Hallo,
ich habe heute auf die neuen PHP Versionen aktualisieren wollen.
Leider aktualisiert bei mir nur php7.1.
Alles andere ist noch beim alten. Anscheinend aber auch nicht erst seit jetzt.
liveconfig--diag sagt
Running Lua diagnostics...
[WARNING] addPHP: incomplete FPM configuration for '/opt/php-7.2/sbin/php-fpm' - skipping...
[WARNING] PHP version 'php72' already registered
[INFO] Loading custom Lua settings from '/usr/lib/liveconfig/lua/custom.lua'
[INFO] Detected 'Debian GNU/Linux 10 (buster)'
[INFO] setting PHP default version to 'php73'
Distribution name: 'Debian'
Distribution codename: 'buster'
Distribution family: 'Debian'
Distribution version: '10'
Distribution description: 'Debian GNU/Linux 10 (buster)'
Checking for web server software:
- Found 'apache' web server
Version: '2.4.25'
Package version: '2.4.25-3+deb9u8'
Modules: core so watchdog http log_config logio version unixd access_compat actions alias auth_basic authn_core authn_file authz_core authz_host authz_user autoindex cgid dav dav_fs deflate dir env expires fcgid filter headers http2 include mime mpm_event negotiation proxy proxy_fcgi proxy_http reqtimeout rewrite setenvif socache_shmcb ssl suexec
- PHP 7.2.18 (code='php72')
CGI/FastCGI: /opt/php-7.2/bin/php-cgi
default php.ini: '/opt/php-7.2/etc/php.ini'
- PHP 5.6.40 (code='php56')
CGI/FastCGI: /opt/php-5.6/bin/php-cgi
FPM: /opt/php-5.6/sbin/php-fpm
pool config: /etc/php-fpm/php56-fpm.d
default php.ini: '/opt/php-5.6/etc/php.ini'
- PHP 7.0.33 (code='php70')
CGI/FastCGI: /opt/php-7.0/bin/php-cgi
FPM: /opt/php-7.0/sbin/php-fpm
pool config: /etc/php-fpm/php70-fpm.d
default php.ini: '/opt/php-7.0/etc/php.ini'
- PHP 7.1.33 (code='php71')
CGI/FastCGI: /opt/php-7.1/bin/php-cgi
FPM: /opt/php-7.1/sbin/php-fpm
pool config: /etc/php-fpm/php71-fpm.d
default php.ini: '/opt/php-7.1/etc/php.ini'
- PHP 7.3.8 [DEFAULT] (code='php73')
CGI/FastCGI: /opt/php-7.3/bin/php-cgi
FPM: /opt/php-7.3/sbin/php-fpm
pool config: /etc/php-fpm/php73-fpm.d
default php.ini: '/opt/php-7.3/etc/php.ini'
- PHP 5.6.33 (code='php5')
CGI/FastCGI: /usr/bin/php-cgi
default php.ini: '/etc/php5/cgi/php.ini'
Checking for ftp server software:
- Found 'proftpd' FTP server
Version: '1.3.5b'
Package version: '1.3.5b-4+deb9u1'
Checking for SMTP server software:
- Found 'postfix' smtp server
Version: '3.1.12'
Package version: '3.1.12-0+deb9u1'
DANE/TLSA support: 'yes'
- found SpamAssassin (package version: '3.4.2-1')
configured: yes
- found OpenDKIM (package version: '2.11.0~alpha-10+deb9u1')
configured: yes
Checking for POP/IMAP server software:
- Found 'dovecot' POP/IMAP server
Version: '2.2.27'
Package version: '1:2.2.27-3+deb9u5'
Checking for database server software:
- Found 'mysql' database server
Version: '10.1.38'
Package version: '10.1.26-0+deb9u1'
Checking for DNS server software:
- Found 'bind' DNS server
Version: '9.10.3'
Package version: '1:9.10.3.dfsg.P4-12.3+deb9u5'
DNSSEC support: yes

In der liveconfig.log steht folgendes.

[2019/10/31 09:06:06.222963] [26299|26302] [LUA] addPHP: incomplete FPM configuration for '/opt/php-7.2/sbin/php-fpm' - skipping...
[2019/10/31 09:06:06.333057] [26299|26301] [LUA] addPHP: incomplete FPM configuration for '/opt/php-7.2/sbin/php-fpm' - skipping...
[2019/10/31 09:06:06.538174] [26299|26300] [LUA] addPHP: incomplete FPM configuration for '/opt/php-7.2/sbin/php-fpm' - skipping...
[2019/10/31 09:06:10.132933] [26299|26299] Connected to LiveConfig 2.8.4
[2019/10/31 09:06:13.341173] [26299|26302] [LUA] PHP version 'php72' already registered
[2019/10/31 09:06:13.341286] [26299|26301] [LUA] PHP version 'php72' already registered
[2019/10/31 09:06:13.625124] [26299|26300] [LUA] PHP version 'php72' already registered
[2019/10/31 09:06:15.325052] [26299|26301] [LUA] Loading custom Lua settings from '/usr/lib/liveconfig/lua/custom.lua'
[2019/10/31 09:06:15.325193] [26299|26302] [LUA] Loading custom Lua settings from '/usr/lib/liveconfig/lua/custom.lua'
[2019/10/31 09:06:15.447046] [26299|26300] [LUA] Loading custom Lua settings from '/usr/lib/liveconfig/lua/custom.lua'
[2019/10/31 09:06:16.382622] [26299|26301] [LUA] Detected 'Debian GNU/Linux 10 (buster)'
[2019/10/31 09:06:17.226511] [26299|26301] [LUA] setting PHP default version to 'php73'
[2019/10/31 09:06:18.050899] [26299|26301] Can't get system informations: open(/dev/mem) failed: No such file or directory
[2019/10/31 09:06:20.122408] [26298|26822] Updating AppInstaller repository (https://update.liveconfig.com/repo-v3.json)...