Make build.jl recognise Gurobi 5.0.