Bash mode works now even with Gurobi & mm.properties