Revert "cplex option workaround"

This reverts commit c60066893d3fc430046e614e528766f17ae07811.