Fix up default batch script