Artifacts of linux-debian10 #3600