...found by <https://ci.libreoffice.org//job/lo_tb_random_config_linux/1485/>

Change-Id: Id58b86b561ebe10e23c14130bd5f3efe10f95be5
Reviewed-on: https://gerrit.libreoffice.org/60656
Tested-by: Jenkins
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>