if GUROBI_HOME isn't set, just look in standard paths on unix