#1209 Disabling knitro again