Allow user to specify options file
Minor fixes related to CUTSDP