exec "$executablename" -B"$topdir" -pgmc "$pgmgcc" ${1+"$@"}