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