diff --git a/debian/patches/install.patch b/debian/patches/install.patch
new file mode 100644
index 0000000..fcaa258
--- /dev/null
+++ b/debian/patches/install.patch
@@ -0,0 +1,10 @@
+--- a/install.sh
++++ b/install.sh
+@@ -1,6 +1,5 @@
+ #!/bin/bash
+-set -ueo pipefail
+-#set -x
++set -x
+ 
+ REPO_DIR="$(cd "$(dirname "$0")" && pwd)"
+ SRC_DIR="$REPO_DIR/src"
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..e1652b3
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+install.patch