Pass command-line arguments to sol programs.