minor fixes

scripts/find_dots_no_parens.sh

@@ -62,6 +62,5 @@ echo '}' >> $awk_script_file
 grep '^\.[BRI][BRI]* [a-zA-Z0-9_][a-zA-Z0-9_]*[^a-zA-Z_]*$' $* | 
 	awk -f $awk_script_file | grep -v '([0-9]*)'
 
-exit 0
 rm -f $awk_script_file
-
+exit 0

scripts/find_slashes_no_parens.sh

@@ -59,3 +59,4 @@ echo "Built regexp file; now about to grep..." 1>&2
 grep -f $regexp_file $*
 
 rm -f $regexp_file
+exit 0