Explain how to add extra options to the batch control script.