Upstream bug: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1006615



Currently affects Ubuntu 22.04 users.

Co-authored-by: Simon Frasch <simon.frasch@cscs.ch>