diff --git a/packaging/debian/source/local-options b/packaging/debian/source/local-options
new file mode 100644
index 0000000..7423a2d
--- /dev/null
+++ b/packaging/debian/source/local-options
@@ -0,0 +1 @@
+single-debian-patch