Artifacts of linux-debian10 #3523