[galaxy-dev] how to specify sge options?