Fix apt conflict related to VTK6 on Ubuntu 20

Rainer Kartmannrequested to merge
module/vtk6-ubuntu20 into main

@dreher This is what we discovered last week. This seems to solve the apt conflict on Ubuntu 20.

Merge request reports