Put double quotes around $* so that spaces in arguments are handled correctly

tools/ps_run.sh

@@ -23,7 +23,7 @@ STRATA_DOUBLE_FREE=1 					\
 	STRATA_PC_CONFINE_XOR_KEY_LENGTH=1024		\
 	STRATA_ANNOT_FILE=$datapath/a.ncexe.annot 	\
 	STRATA_SPRI_FILE=$datapath/p1.xform/p1.final.bspri 	\
-	$datapath/a.stratafied $*
+	$datapath/a.stratafied "$*"
 else
 STRATA_DOUBLE_FREE=1 					\
 	STRATA_HEAPRAND=1 				\
@@ -31,7 +31,7 @@ STRATA_DOUBLE_FREE=1 					\
 	STRATA_PC_CONFINE_XOR=1				\
 	STRATA_PC_CONFINE_XOR_KEY_LENGTH=1024		\
 	STRATA_ANNOT_FILE=$datapath/a.ncexe.annot 	\
-	$datapath/a.stratafied $*
+	$datapath/a.stratafied "$*"
 fi