Maybe to merge before the externals which would install only gurobi 11, I suppose
No changes between version 1 and version 1
