* debian/patches/acceptance_tests_coverage_binary.patch: ... this patch, which is generally applicable.