diff --git a/helpers/make-bash b/helpers/make-bash
index ab0c93efe67c6114f498d8287e4c392f9fd1880e..772c2f838fe1a58f3ea0c36432adfca05ee991e1 100644
--- a/helpers/make-bash
+++ b/helpers/make-bash
@@ -24,7 +24,7 @@ VERSION=1
 sed '/To run a command as administrator/s/$/\n\tTo become root use "sudo -i"./' debian/etc.bash.bashrc
 
 # Hack to fix build failures in flidas. TODO: fix the problem properly
-echo exit $? >> tests/exec8.sub
+sed '/exec8.sub/d' -i tests/execscript
 
 changelog "Extended explanation for sudo_root, gnu.org #835148"