regen_makefile.sh: set executable name explicitly

Set the executable name in each regen_makefile.sh explicitly with -e,
instead of having it set indirectly from the first .ttcn file. Make it
consistent by placing the name on top of each of these files.

Fix for warning:
ttcn3_makefilegen: warning: File `BSC_Tests.ttcn' was given more than once for the Makefile.

Related: OS#5252
Change-Id: I5ed03f8f3ed905483620dc7bae33b617bbb8507f
diff --git a/simtrace/regen_makefile.sh b/simtrace/regen_makefile.sh
index 509699e..baecf7d 100755
--- a/simtrace/regen_makefile.sh
+++ b/simtrace/regen_makefile.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+NAME=SIMTRACE_Tests
+
 FILES="
 	*.ttcn
 	Native_FunctionDefs.cc
@@ -9,7 +11,7 @@
 export CPPFLAGS_TTCN3="
 "
 
-../regen-makefile.sh SIMTRACE_Tests.ttcn $FILES
+../regen-makefile.sh -e $NAME $FILES
 
 #sed -i -e 's/^LINUX_LIBS = -lxml2/LINUX_LIBS = -lxml2 -lusb/' Makefile
 sed -i -e '/^LINUX_LIBS/ s/$/ `pkg-config --libs libusb-1.0`/' Makefile