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