cplex option workaround