changed default options to be compatible with older knitro versions