[Bug 56718] FTBFS on Ubuntu 20.04