Update for JuMP 0.5