[dpifke]

There are multiple ways to "override" a file managed by dpkg:

https://wiki.debian.org/DebianAlternatives

https://www.debian.org/doc/debian-policy/ap-pkg-diversions.h...