diff --git a/bin/zafl.sh b/bin/zafl.sh
index aac9a253a2280bdfd11cd4d336cfd04726e02846..aa7961930094110904964708d743ae46acf998c6 100755
--- a/bin/zafl.sh
+++ b/bin/zafl.sh
@@ -107,6 +107,7 @@ parse_args()
 				;;
 			-S | --no-stars)
 				stars_opt=" "
+				float_opt=" -o zax:--disable-floating-instrumentation "
 				shift
 				;;
 			-g | --graph-optimization)