added command line options for mcsat/samplesat