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

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