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