Implement -args_file option to launcher