#!/bin/sh exec $executablename -B$topdir -l$topdir ${1+"$@"}