Workaround Linux Mint bugs https://bugs.launchpad.net/linuxmint/+bug/1180061
Should become redundant after mintsources 1.1.8 is released.
+colordiff