first candidate for a fix of gurobi bugs...
This is untested since i do not have a licence of gurobi
on my home machine.