build.jl: show an error when Gurobi not found.