diff --git a/tools/doc-pot-filter.sh b/tools/doc-pot-filter.sh
index 7e8c008..80c2d9d 100755
--- a/tools/doc-pot-filter.sh
+++ b/tools/doc-pot-filter.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -xe
+#!/bin/bash
+
+set -xe
 
 #
 # Licensed under the Apache License, Version 2.0 (the "License"); you may
diff --git a/tools/generatepot.sh b/tools/generatepot.sh
index 29741e0..47ce8a2 100755
--- a/tools/generatepot.sh
+++ b/tools/generatepot.sh
@@ -1,4 +1,6 @@
-#!/bin/bash -xe
+#!/bin/bash
+
+set -xe
 
 #
 # Licensed under the Apache License, Version 2.0 (the "License"); you may